

from core.himesis import Himesis
import cPickle as pickle
from uuid import UUID

class HTransition2QInstSIBLING(Himesis):
    def __init__(self):
        """
        Creates the himesis graph representing the AToM3 model HTransition2QInstSIBLING.
        """
        # Flag this instance as compiled now
        self.is_compiled = True
        
        super(HTransition2QInstSIBLING, self).__init__(name='HTransition2QInstSIBLING', num_nodes=76, edges=[])
        
        # Add the edges
        self.add_edges([(6, 12), (12, 7), (6, 13), (13, 0), (0, 14), (14, 4), (5, 15), (15, 23), (5, 16), (16, 24), (5, 17), (17, 25), (5, 18), (18, 26), (49, 37), (37, 10), (50, 38), (38, 62), (51, 39), (39, 63), (52, 40), (40, 11), (53, 41), (41, 66), (54, 42), (42, 67), (5, 43), (43, 70), (23, 44), (44, 71), (24, 45), (45, 72), (25, 46), (46, 73), (26, 47), (47, 74), (5, 48), (48, 75), (22, 0), (0, 8), (2, 1), (1, 32), (1, 33), (1, 34), (1, 35), (1, 36), (10, 27), (27, 61), (10, 28), (28, 69), (11, 29), (29, 64), (11, 30), (30, 68), (11, 31), (31, 65), (3, 19), (19, 6), (3, 20), (20, 7), (3, 21), (21, 4), (3, 22), (8, 68), (4, 9), (9, 69), (3, 2), (49, 55), (50, 56), (51, 57), (52, 58), (53, 59), (54, 60), (32, 5), (33, 26), (34, 25), (35, 24), (36, 23), (55, 70), (56, 71), (57, 72), (58, 73), (59, 74), (60, 75)])
        # Set the graph attributes
        self["mm__"] = pickle.loads("""(lp1
S'UMLRT2Kiltera_MM'
p2
a.""")
        self["name"] = """Transition2QInstSIBLING"""
        self["GUID__"] = UUID('22d4f1c2-49e2-4f0b-856a-3544c7e61b05')
        
        # Set the node attributes
        self.vs[0]["name"] = """vertex1"""
        self.vs[0]["classtype"] = """Vertex"""
        self.vs[0]["mm__"] = """Vertex"""
        self.vs[0]["cardinality"] = """1"""
        self.vs[0]["GUID__"] = UUID('43242f11-a1cb-4de3-94c7-fb04b4db5f71')
        self.vs[1]["mm__"] = """ApplyModel"""
        self.vs[1]["GUID__"] = UUID('d917582d-cd1e-4c57-8e7b-3f6dd61acedb')
        self.vs[2]["mm__"] = """paired_with"""
        self.vs[2]["GUID__"] = UUID('f858714e-e072-4965-8ece-a2620f5fe646')
        self.vs[3]["mm__"] = """MatchModel"""
        self.vs[3]["GUID__"] = UUID('5eb51368-7a1e-47d7-a3fe-d404b70cdb32')
        self.vs[4]["name"] = """stateMachine1"""
        self.vs[4]["classtype"] = """StateMachine"""
        self.vs[4]["mm__"] = """StateMachine"""
        self.vs[4]["cardinality"] = """1"""
        self.vs[4]["GUID__"] = UUID('f2af1e5f-3ad2-4ef0-8ddf-e99434bd4d5f')
        self.vs[5]["name"] = """inst1"""
        self.vs[5]["classtype"] = """Inst"""
        self.vs[5]["mm__"] = """Inst"""
        self.vs[5]["cardinality"] = """1"""
        self.vs[5]["GUID__"] = UUID('4b87a289-7da3-48bd-9d54-dba61dfb2deb')
        self.vs[6]["name"] = """transition1"""
        self.vs[6]["classtype"] = """Transition"""
        self.vs[6]["mm__"] = """Transition"""
        self.vs[6]["cardinality"] = """+"""
        self.vs[6]["GUID__"] = UUID('b70f56c5-5d66-4844-8a64-49b0897250a2')
        self.vs[7]["name"] = """sibling0_1"""
        self.vs[7]["classtype"] = """SIBLING0"""
        self.vs[7]["mm__"] = """SIBLING0"""
        self.vs[7]["cardinality"] = """1"""
        self.vs[7]["GUID__"] = UUID('a0fa5bb1-25b5-4ae4-8ac0-72abe34f5ed6')
        self.vs[8]["mm__"] = """hasAttribute_S"""
        self.vs[8]["GUID__"] = UUID('5d3df887-4076-48d9-9459-b5e5354f96f5')
        self.vs[9]["mm__"] = """hasAttribute_S"""
        self.vs[9]["GUID__"] = UUID('bd89eb76-fb70-4074-a2d8-8cb6bd920afc')
        self.vs[10]["name"] = """concat1"""
        self.vs[10]["mm__"] = """Concat"""
        self.vs[10]["Type"] = """'String'"""
        self.vs[10]["GUID__"] = UUID('bd804b22-12d3-403d-94e7-b86c802df140')
        self.vs[11]["name"] = """concat2"""
        self.vs[11]["mm__"] = """Concat"""
        self.vs[11]["Type"] = """'String'"""
        self.vs[11]["GUID__"] = UUID('d112c2d6-b4a9-466b-9fbd-8fb152dd98dc')
        self.vs[12]["associationType"] = """type"""
        self.vs[12]["mm__"] = """directLink_S"""
        self.vs[12]["GUID__"] = UUID('1aea5612-410e-458a-9cf8-0fa61c0468a2')
        self.vs[13]["associationType"] = """dest"""
        self.vs[13]["mm__"] = """directLink_S"""
        self.vs[13]["GUID__"] = UUID('4e499f8c-1ac1-4bf3-bff3-71bade69b6f4')
        self.vs[14]["associationType"] = """owningStateMachine"""
        self.vs[14]["mm__"] = """directLink_S"""
        self.vs[14]["GUID__"] = UUID('e7cf6169-408c-4263-b7a1-cd985d414979')
        self.vs[15]["associationType"] = """channelNames"""
        self.vs[15]["mm__"] = """directLink_T"""
        self.vs[15]["GUID__"] = UUID('33587bc2-2075-44e4-bb2b-0a6aaa0ebadb')
        self.vs[16]["associationType"] = """channelNames"""
        self.vs[16]["mm__"] = """directLink_T"""
        self.vs[16]["GUID__"] = UUID('cf587176-9882-49a6-a5d4-b9b603bf3408')
        self.vs[17]["associationType"] = """channelNames"""
        self.vs[17]["mm__"] = """directLink_T"""
        self.vs[17]["GUID__"] = UUID('835adc6d-f51c-4da1-bd4d-629bba8e01da')
        self.vs[18]["associationType"] = """channelNames"""
        self.vs[18]["mm__"] = """directLink_T"""
        self.vs[18]["GUID__"] = UUID('d74b0b2f-58da-4da5-bc8b-b0b63844b141')
        self.vs[19]["mm__"] = """match_contains"""
        self.vs[19]["GUID__"] = UUID('5c45f87f-6412-4758-9920-aa10d2f2f17d')
        self.vs[20]["mm__"] = """match_contains"""
        self.vs[20]["GUID__"] = UUID('67faa7a5-3dd0-4457-ad6b-8f4b2c0a0254')
        self.vs[21]["mm__"] = """match_contains"""
        self.vs[21]["GUID__"] = UUID('df84f288-71ed-434f-9b0f-5feb6f08c02f')
        self.vs[22]["mm__"] = """match_contains"""
        self.vs[22]["GUID__"] = UUID('78136177-2049-48f9-afe1-49a03a165141')
        self.vs[23]["name"] = """name1"""
        self.vs[23]["classtype"] = """Name"""
        self.vs[23]["mm__"] = """Name"""
        self.vs[23]["cardinality"] = """1"""
        self.vs[23]["GUID__"] = UUID('147d1527-e6c7-473d-809b-23213fc8a749')
        self.vs[24]["name"] = """name2"""
        self.vs[24]["classtype"] = """Name"""
        self.vs[24]["mm__"] = """Name"""
        self.vs[24]["cardinality"] = """1"""
        self.vs[24]["GUID__"] = UUID('86fc8f2f-ca1b-4290-b47e-383b0361a23f')
        self.vs[25]["name"] = """name3"""
        self.vs[25]["classtype"] = """Name"""
        self.vs[25]["mm__"] = """Name"""
        self.vs[25]["cardinality"] = """1"""
        self.vs[25]["GUID__"] = UUID('b8a4e57b-056a-49c8-b9d3-5d3935eccbc6')
        self.vs[26]["name"] = """name4"""
        self.vs[26]["classtype"] = """Name"""
        self.vs[26]["mm__"] = """Name"""
        self.vs[26]["cardinality"] = """1"""
        self.vs[26]["GUID__"] = UUID('99c4c114-6a4b-4fff-a5b0-1ec3acea4ba9')
        self.vs[27]["mm__"] = """hasArgs"""
        self.vs[27]["GUID__"] = UUID('97a07546-a7a4-48af-847f-3a7e0bf3b618')
        self.vs[28]["mm__"] = """hasArgs"""
        self.vs[28]["GUID__"] = UUID('b03c87be-1d22-4ab5-abb9-da2df702170e')
        self.vs[29]["mm__"] = """hasArgs"""
        self.vs[29]["GUID__"] = UUID('508b7bc1-2093-4cb7-85e7-1483522748fc')
        self.vs[30]["mm__"] = """hasArgs"""
        self.vs[30]["GUID__"] = UUID('1aa58d1f-6827-4fc0-b76c-34eda568b31a')
        self.vs[31]["mm__"] = """hasArgs"""
        self.vs[31]["GUID__"] = UUID('cea62177-379b-415c-a067-042589b72e44')
        self.vs[32]["mm__"] = """apply_contains"""
        self.vs[32]["GUID__"] = UUID('ae96d5e4-93e0-4241-8ae0-16438e0dacd0')
        self.vs[33]["mm__"] = """apply_contains"""
        self.vs[33]["GUID__"] = UUID('b90b6b0c-939b-4471-8168-858ed012a44c')
        self.vs[34]["mm__"] = """apply_contains"""
        self.vs[34]["GUID__"] = UUID('67dcfff2-f87d-4fbe-8e47-7e2bb5bfd4a6')
        self.vs[35]["mm__"] = """apply_contains"""
        self.vs[35]["GUID__"] = UUID('862e152a-d2b9-483e-a4f2-0c21e8d0a2e3')
        self.vs[36]["mm__"] = """apply_contains"""
        self.vs[36]["GUID__"] = UUID('af4bb5fe-aca3-456c-990a-b7102498aafb')
        self.vs[37]["mm__"] = """rightExpr"""
        self.vs[37]["GUID__"] = UUID('40974a3a-33af-4b5f-8ddd-526bb2f83193')
        self.vs[38]["mm__"] = """rightExpr"""
        self.vs[38]["GUID__"] = UUID('6865bef9-8ab7-4e10-a424-7fa85c8fda97')
        self.vs[39]["mm__"] = """rightExpr"""
        self.vs[39]["GUID__"] = UUID('0134faf5-85e2-47fc-84b0-52bed4e62571')
        self.vs[40]["mm__"] = """rightExpr"""
        self.vs[40]["GUID__"] = UUID('09ea4629-3a0f-462d-849b-34ec00b654aa')
        self.vs[41]["mm__"] = """rightExpr"""
        self.vs[41]["GUID__"] = UUID('eebb7f74-da87-4101-b52d-647b04166a7c')
        self.vs[42]["mm__"] = """rightExpr"""
        self.vs[42]["GUID__"] = UUID('8488216e-4c49-4a34-ad88-c7348d0af0b0')
        self.vs[43]["mm__"] = """hasAttribute_T"""
        self.vs[43]["GUID__"] = UUID('26a5d971-fb99-4e33-965e-7f3fd5f65023')
        self.vs[44]["mm__"] = """hasAttribute_T"""
        self.vs[44]["GUID__"] = UUID('0b210669-45fb-461d-b924-ca124671d08c')
        self.vs[45]["mm__"] = """hasAttribute_T"""
        self.vs[45]["GUID__"] = UUID('ac2f0935-08ab-475e-958b-f8bb745e0dd7')
        self.vs[46]["mm__"] = """hasAttribute_T"""
        self.vs[46]["GUID__"] = UUID('5cdba522-192f-4d2f-889f-6cfed6ef7e5e')
        self.vs[47]["mm__"] = """hasAttribute_T"""
        self.vs[47]["GUID__"] = UUID('c7819b48-9ad7-40fe-8bd1-873cc0f5faa1')
        self.vs[48]["mm__"] = """hasAttribute_T"""
        self.vs[48]["GUID__"] = UUID('3f3c9441-032e-410e-98d2-df9fa0a1ba43')
        self.vs[49]["name"] = """eq1"""
        self.vs[49]["mm__"] = """Equation"""
        self.vs[49]["GUID__"] = UUID('428377cd-31ce-48d0-8190-84e2085c05bf')
        self.vs[50]["name"] = """eq2"""
        self.vs[50]["mm__"] = """Equation"""
        self.vs[50]["GUID__"] = UUID('89dddfdb-5abf-4595-bf9a-9392262347d7')
        self.vs[51]["name"] = """eq3"""
        self.vs[51]["mm__"] = """Equation"""
        self.vs[51]["GUID__"] = UUID('8d3fb96f-d5e0-4aad-bad8-eb5ea2b94ce1')
        self.vs[52]["name"] = """eq4"""
        self.vs[52]["mm__"] = """Equation"""
        self.vs[52]["GUID__"] = UUID('293c0b7a-e8eb-402c-af2d-7558dd76f661')
        self.vs[53]["name"] = """eq5"""
        self.vs[53]["mm__"] = """Equation"""
        self.vs[53]["GUID__"] = UUID('66a10890-b962-442f-bbab-f4bdf651d020')
        self.vs[54]["name"] = """eq6"""
        self.vs[54]["mm__"] = """Equation"""
        self.vs[54]["GUID__"] = UUID('0211c005-5745-4213-af36-2912ed7811db')
        self.vs[55]["mm__"] = """leftExpr"""
        self.vs[55]["GUID__"] = UUID('f8f23682-f132-46be-b3f1-946d39a91618')
        self.vs[56]["mm__"] = """leftExpr"""
        self.vs[56]["GUID__"] = UUID('0ebbd928-11fb-48d7-a0a9-bbc860b56d57')
        self.vs[57]["mm__"] = """leftExpr"""
        self.vs[57]["GUID__"] = UUID('daef2b78-fd63-444e-aaa0-f3c6049c8403')
        self.vs[58]["mm__"] = """leftExpr"""
        self.vs[58]["GUID__"] = UUID('c061daf6-3ea5-4ff3-90b9-a9cf502a0fe1')
        self.vs[59]["mm__"] = """leftExpr"""
        self.vs[59]["GUID__"] = UUID('25a25694-5b71-4a90-9d67-93d42b42afc0')
        self.vs[60]["mm__"] = """leftExpr"""
        self.vs[60]["GUID__"] = UUID('7960c261-5af8-427f-9162-34b86f4d79fd')
        self.vs[61]["name"] = """S"""
        self.vs[61]["mm__"] = """Constant"""
        self.vs[61]["Type"] = """'String'"""
        self.vs[61]["GUID__"] = UUID('624844ca-399f-40f0-b5cf-e37de4789ad1')
        self.vs[62]["name"] = """exit"""
        self.vs[62]["mm__"] = """Constant"""
        self.vs[62]["Type"] = """'String'"""
        self.vs[62]["GUID__"] = UUID('b4ca7a78-8878-4d53-a52b-14d489fc2244')
        self.vs[63]["name"] = """exack"""
        self.vs[63]["mm__"] = """Constant"""
        self.vs[63]["Type"] = """'String'"""
        self.vs[63]["GUID__"] = UUID('59636a4a-770e-4ed1-b02e-bd0eb316c7a7')
        self.vs[64]["name"] = """""""
        self.vs[64]["mm__"] = """Constant"""
        self.vs[64]["Type"] = """'String'"""
        self.vs[64]["GUID__"] = UUID('f8264c90-fe4a-4317-94da-557931088d66')
        self.vs[65]["name"] = """""""
        self.vs[65]["mm__"] = """Constant"""
        self.vs[65]["Type"] = """'String'"""
        self.vs[65]["GUID__"] = UUID('e4ec1394-7ea3-4be8-9836-95ce4c3b8f90')
        self.vs[66]["name"] = """sh"""
        self.vs[66]["mm__"] = """Constant"""
        self.vs[66]["Type"] = """'String'"""
        self.vs[66]["GUID__"] = UUID('89c15ecd-1ee3-47a6-96ab-941e2e7ad948')
        self.vs[67]["name"] = """instfortrans"""
        self.vs[67]["mm__"] = """Constant"""
        self.vs[67]["Type"] = """'String'"""
        self.vs[67]["GUID__"] = UUID('0d934831-c330-4ec4-958e-f0f09719e432')
        self.vs[68]["name"] = """name"""
        self.vs[68]["mm__"] = """Attribute"""
        self.vs[68]["Type"] = """'String'"""
        self.vs[68]["GUID__"] = UUID('d6a2e244-57ad-4aa0-9951-4df08179575e')
        self.vs[69]["name"] = """name"""
        self.vs[69]["mm__"] = """Attribute"""
        self.vs[69]["Type"] = """'String'"""
        self.vs[69]["GUID__"] = UUID('862adc38-0cdc-4a40-8599-e64d55f745e8')
        self.vs[70]["name"] = """name"""
        self.vs[70]["mm__"] = """Attribute"""
        self.vs[70]["Type"] = """'String'"""
        self.vs[70]["GUID__"] = UUID('90ff995d-3d0b-4191-ac9b-db831fdf11b6')
        self.vs[71]["name"] = """literal"""
        self.vs[71]["mm__"] = """Attribute"""
        self.vs[71]["Type"] = """'String'"""
        self.vs[71]["GUID__"] = UUID('88f1eb4a-b1bc-4d3c-8bdc-0f308d1033c8')
        self.vs[72]["name"] = """literal"""
        self.vs[72]["mm__"] = """Attribute"""
        self.vs[72]["Type"] = """'String'"""
        self.vs[72]["GUID__"] = UUID('af593f2f-c9dd-4799-a108-bc887a0f77fb')
        self.vs[73]["name"] = """literal"""
        self.vs[73]["mm__"] = """Attribute"""
        self.vs[73]["Type"] = """'String'"""
        self.vs[73]["GUID__"] = UUID('f44b5144-c0b6-4f86-bd70-89da1be94bd0')
        self.vs[74]["name"] = """literal"""
        self.vs[74]["mm__"] = """Attribute"""
        self.vs[74]["Type"] = """'String'"""
        self.vs[74]["GUID__"] = UUID('127c3241-eea2-4e50-bb7c-3f7c6d338134')
        self.vs[75]["name"] = """pivotout"""
        self.vs[75]["mm__"] = """Attribute"""
        self.vs[75]["Type"] = """'String'"""
        self.vs[75]["GUID__"] = UUID('52381642-16c2-4568-b07d-a54d804616e0')

